algorithmic nonresolvability

Компьютерная техника: алгоритмическая неразрешимость